Abstract topology analysis of the join phase of the merge protocol

topology analysis of the join phase of the merge protocol Peter Backes and Jan Reineke 1 Universität des Saarlandes, Saarbrücken, Germany [email protected] 2 University of California, Berkeley [email protected] Abstract. We present a partial solution to the TTC2010 topology analysis case study. We pick a small part of the merge protocol, namely the part where cars join a leader to form a platoon. Using abstract interpretation, we compute an approximation of the arising topologies, without limiting the number of cars. We present a partial solution to the TTC2010 topology analysis case study. We pick a small part of the merge protocol, namely the part where cars join a leader to form a platoon. Using abstract interpretation, we compute an approximation of the arising topologies, without limiting the number of cars.